Process control - PDFSEARCH.IO - Document Search Engine

Process control
Results: 6062

#	Item
641	Access control for mobile agents: the calculus of Boxed Ambients MICHELE BUGLIESI Universita` ‘Ca’ Foscari’, Venezia, Italy and GIUSEPPE CASTAGNA Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:01:59 Applied mathematics Computer science Computing Formal methods Functional languages Π-calculus Lambda calculus Q Access control Process calculi Theoretical computer science Ambient calculus
642	Solving Multi-agent Markov Decision Processes: A Forest Management Example Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-15 17:48:25 Mathematical sciences Markov models Dynamic programming Stochastic control Operations research Reinforcement learning Q-learning Markov decision process Multi-agent system Statistics Markov processes Control theory
643	Learning Accurate Kinematic Control of Cable-Driven Surgical Robots Using Data Cleaning and Gaussian Process Regression Jeffrey Mahler1 , Sanjay Krishnan1 , Michael Laskey1 , Siddarth Sen1 , Adithyavairavan Murali1 , Ben Add to Reading List Source URL: www.ieor.berkeley.edu Language: English - Date: 2014-04-26 02:12:36 Data analysis Machine learning Robot control Linear regression Kinematics Errors and residuals in statistics Regularization Robotics Robot Statistics Regression analysis Econometrics
644	An introduction to Linux IPC linux.conf.au 2013 Canberra, Australia Add to Reading List Source URL: man7.org Language: English - Date: 2015-05-07 06:42:59 Computer programming Unix Inter-process communication Application programming interfaces POSIX Mutual exclusion Shared memory Lock Semaphore Computing Concurrency control Concurrent computing
645	Task Supervisor Improving the visibility of critical tasks for IT teams The Business Challenge: Having overall control of IT tasks to support your business operations can be difficult. There are many challenges faced b Add to Reading List Source URL: www.halcyonsoftware.com Language: English - Date: 2015-05-17 08:40:03 IBM Rational Unified Process Software development process Information technology management Software development Science Business process management Formal methods Automation Windows Task Scheduler
646	Journal of Artificial Intelligence Research Submitted 01/05; published 1/06 Approximate Policy Iteration with a Policy Language Bias: Solving Relational Markov Decision Processes Add to Reading List Source URL: jair.org Language: English - Date: 2009-08-06 19:20:12 Stochastic control Reinforcement learning Markov decision process Valuation Policy Statistics Dynamic programming Markov processes
647	Making the most of audit committees in the public sector In 2008, we published a good practice guide about Audit committees in the public sector. Since then, we have spoken to many people Add to Reading List Source URL: oag.govt.nz Language: English - Date: 2014-11-18 17:42:47 Business Audit committee Internal audit Audit External auditor Internal control Information technology audit process Auditor independence Auditing Accountancy Risk
648	Issue: 31 Date: January 27, 2014 To: Add to Reading List Source URL: anab.org Language: English - Date: 2014-12-16 17:04:55 Technology Evaluation Accreditation Scope American National Standards Institute Systems engineering process Policy ISO/IEC 17025 Quality control Business
649	Risk Committee Membership and TOR Add to Reading List Source URL: www.gs.unsw.edu.au Language: English - Date: 2015-05-26 23:44:17 Risk Audit committee Internal audit Internal control Quorum Audit Chief audit executive Information technology audit process Auditing Accountancy Business
650	Safe and Reliable Metro Platform Screen Doors Control/Command Systems a 3-year story Thierry Lecomte Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-04 08:54:23 Safety Software engineering B-Method Software development process IEC 61508 Model checking Software Formal methods Software development Science

UPDATE